Nuprl Lemma : le_to_lt_rw
12,41
postcript
pdf
i
,
j
:
. {(
i
j
)
(
i
< (
j
+1))}
latex
ProofTree
Definitions
{
T
}
Lemmas
le
to
lt
origin
i, j:
. {(i 
j) 
(i < (j+1))}
i, j:. {(i j) (i < (j+1))}